Publications de
Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy
Automatic Co-evolution of Models Using Traceability
Dans : Communications in Computer and Information Science, Springer, Vol. 170, p. 125-139, janvier 2013.
Bastien Amar, Philippe Dhaussy, Hervé Leblanc, Bernard Coulette
La description d’un modèle de traçabilité pour la mise en oeuvre d’une technique de validation formelle de modèles
Dans : Génie Logiciel, GL & IS, Meudon – France, Numéro spécial LIngénierie Dirigée par les Modèles : Processus, cohérence, traçabilité et composants de confiance, Vol. 85, p. 20-24, juin 2008.
Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois, Christian Percebois, Erwann Poupart, Laurent Sabatier
Trust in MDE components: the DOMINO experiment (regular paper)
Dans : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienne, Autriche, 14/09/10, ACM Digital Library, (en ligne), 2011.
Accès : http://portal.acm.org/citation.cfm?id=1868436
BibTeXBastien Amar, Hervé Leblanc, Philippe Dhaussy, Bernard Coulette
Transformation Reuse to Guide Co-evolution of Models (regular paper)
Dans : International Conference on Software and Data Technologies (ICSOFT 2010), Athènes (Grèce), 22/07/10-24/07/10, Vol. 2, José Cordeiro, Maria Virvou, Boris Shisshkov (Eds.), Institute for Systems and Technologies for Information, Control and Communication, p. 73-81, juillet 2010.